Embedding HTML in php